Research and Engineering Design in CPN of OWL-S Service

A description language CPSWS (Colored Petri net markup language of Semantic for Web Services) is suggested, which improved the formal definition of CPN (Colored Petri Net) of OWL-S (Ontology Web Language for Services) service. The language combines some abilities including semantic representation of OWL-S, automatic service combination of OWL-S, formal definition of CPN, and service description of CPN. The overall idea of engineering design is given, SCAToOWL algorithm which used to converted SCA component and composite into CPSWS is proposed in the paper. Research work about the paper is verified by the case which is the process of the job computing in the cloud platform for industrial design and simulation. Finally the direction for improving is put forward, including the realization of describing function, the integration technology to open source Tuscany and Spring.